From 2b754c681167a38e6b9bc6af11f537fe7c06b2bc Mon Sep 17 00:00:00 2001 From: Jochen Sprickerhof Date: Tue, 24 Oct 2023 10:37:39 +0200 Subject: [PATCH] Fix man page generation --- debian/patches/htmldoc-location | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/debian/patches/htmldoc-location b/debian/patches/htmldoc-location index 630560788..e47db98b3 100644 --- a/debian/patches/htmldoc-location +++ b/debian/patches/htmldoc-location @@ -133,6 +133,14 @@ the XSL generate an fo bookmark-tree, which fop translates into bookmarks --- a/xmldoc/gpsbabel_man.xml +++ b/xmldoc/gpsbabel_man.xml +@@ -1,6 +1,6 @@ + ++ 'file:///usr/share/xml/docbook/schema/dtd/4.5/docbookx.dtd'> + + + @@ -127,7 +127,7 @@ or as the backend for other tools. -- 2.30.2